binary search analysis